Test generation for sequential nets of Abstract State Machines with information passing
نویسندگان
چکیده
Article history: Received 20 February 2013 Received in revised form 11 October 2013 Accepted 5 February 2014 Available online xxxx
منابع مشابه
Test Generation for Sequential Nets of Abstract State Machines
Test generation techniques based on model checking suffer from the state space explosion problem. However, for a family of systems that can be easily decomposed in sub-systems, we devise a technique to cope with this problem. To model such systems, we introduce the notion of sequential net of Abstract State Machines (ASMs), which represents a system constituted by a set of ASMs such that only o...
متن کاملSequential and Concurrent Abstract Machines for Interaction Nets
Machines for Interaction Nets
متن کاملCommunication in Abstract State Machines
Up to recently the majority of applications of the Abstract State Machines method for design and verification of computational systems used the shared variable approach. However in particular with distributed systems only various forms of communication may be available to share information. We define communicating ASMs by using instead of shared locations an explicit, abstract concept of Sendin...
متن کاملA Comparative Analysis of the Functional and the Structural Level Fault Detection for Sequential Machines
In this report a new concept to generate test vectors for sequential machines is checked. Not one level of abstraction is considered but two levels. The test generation occurs at the functional level, while information is retrieved from the structural level. Four methods for test generation, using structural level information at the functional level were used to check the concept. Test generati...
متن کاملModeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets
We show how to model distributed algorithms by Abstract State Machines (ASMs). Comparing these models with Petri nets (PNs) reveals a certain number of idiosyncrasies of PNs which complicate both model design and analysis. The ASMs we define illustrate how one can avoid such framework related technicalities.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Sci. Comput. Program.
دوره 94 شماره
صفحات -
تاریخ انتشار 2014